add_circt_tool(circt-synth circt-synth.cpp)
target_link_libraries(circt-synth
  PRIVATE
  CIRCTSynth
  CIRCTSynthToComb
  CIRCTSynthAnalysis
  CIRCTComb
  CIRCTCombToDatapath
  CIRCTCombTransforms
  CIRCTDatapath
  CIRCTDatapathToComb
  CIRCTDebug
  CIRCTEmit
  CIRCTHW
  CIRCTImportAIGER
  CIRCTLTL
  CIRCTOM
  CIRCTSeq
  CIRCTSim
  CIRCTSV
  CIRCTSVTransforms
  CIRCTSynthTransforms
  CIRCTTransforms
  CIRCTVerif
  MLIRBytecodeWriter
  MLIRIR
  MLIRParser
  LLVMSupport
)

llvm_update_compile_flags(circt-synth)
mlir_check_all_link_libraries(circt-synth)
